SherbyNet - /page/wikibook/entry.mu

<!DOCTYPE html>

<title>Code de Hamming</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">Code de Hamming</h1>

</header>

</div>

Un code de Hamming est un <a href="Code_correcteur" title="Code correcteur">code correcteur</a> <a href="Code_lin%C3%A9aire" title="Code linéaire">linéaire</a>. Il permet la détection et la correction automatique d'une erreur si elle ne porte que sur une lettre du message.

Un code de Hamming est <a href="Code_parfait" class="mw-redirect" title="Code parfait">parfait</a> : pour une longueur de code donnée il n'existe pas d'autre code plus compact ayant la même capacité de correction. En ce sens son rendement est maximal.

Il existe une famille de codes de Hamming ; le plus célèbre et le plus simple après le <a href="Code_de_r%C3%A9p%C3%A9tition" title="Code de répétition">code de répétition</a> binaire de dimension trois et de longueur un est sans doute le code <a href="Syst%C3%A8me_binaire" title="Système binaire">binaire</a> de paramètres <a href="Code_de_Hamming_(7%2C4)" title="Code de Hamming (7,4)">[7,4,3]</a>. Pour chaque alphabet ayant pour nombre de lettres une puissance d'un <a href="Nombre_premier" title="Nombre premier">nombre premier</a> et pour chaque longueur l de code il existe un code de Hamming utilisant cet alphabet et de longueur au moins égal à l.

Plusieurs méthodes permettent de construire un code de Hamming. Une approche consiste à rechercher les <a href="Code_cyclique" title="Code cyclique">codes cycliques</a> de <a href="Distance_de_Hamming" title="Distance de Hamming">distance minimale</a> égale à trois, le code apparait alors comme un cas particulier de <a href="Code_BCH" title="Code BCH">code BCH</a>. Il est aussi possible d'utiliser uniquement les outils de l'<a href="Alg%C3%A8bre_lin%C3%A9aire" title="Algèbre linéaire">algèbre linéaire</a> et particulièrement la théorie des <a href="Matrice_(math%C3%A9matiques)" title="Matrice (mathématiques)">matrices</a>.

<div class="mw-heading mw-heading2"><h2 id="Histoire">Histoire</h2></div>

Depuis 1946 <a href="Richard_Hamming" title="Richard Hamming">Richard Hamming</a> (1915-1998) travaille sur un modèle de <a href="Calculateur" class="mw-disambig" title="Calculateur">calculateur</a> à <a href="Carte_perfor%C3%A9e" title="Carte perforée">carte perforée</a> de faible fiabilité. Si, durant la semaine, des ingénieurs pouvaient corriger les erreurs, les périodes chômées comme la fin de semaine voient les machines s'arrêter invariablement sur des <a href="Bug_informatique" class="mw-redirect" title="Bug informatique">bugs</a>. La frustration<a href="#cite_note-1">[1]</a> de Hamming le conduit à inventer le premier code correcteur véritablement efficace.

Cette période correspond à la naissance de la <a href="Th%C3%A9orie_de_l'information" title="Théorie de l'information">théorie de l'information</a>. <a href="Claude_Shannon" title="Claude Shannon">Claude Shannon</a> (1916, 2001) formalise cette théorie comme une branche des mathématiques<a href="#cite_note-2">[2]</a>. Hamming développe<a href="#cite_note-3">[3]</a> les prémisses de la théorie des codes et décrit sa solution comme un exemple.

En 1960, deux mathématiciens R. C. Bose, D. K. Ray-Chaudhuri montrent<a href="#cite_note-4">[4]</a> que des idéaux de l'anneau des polynômes sur les corps finis de <a href="Caract%C3%A9ristique_d'un_anneau" title="Caractéristique d'un anneau">caractéristique</a> deux sont particulièrement adaptés. La théorie est généralisée<a href="#cite_note-5">[5]</a> par le mathématicien A. Hocquenghem et donne naissance à la famille de <a href="Code_BCH" title="Code BCH">codes BCH</a>. Les codes de Hamming binaires apparaissent immédiatement comme des codes BCH.

<div class="mw-heading mw-heading2"><h2 id="Contexte">Contexte</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Code_correcteur">Code correcteur</h3></div>

L'objectif d'un code correcteur est la détection ou la correction d'erreurs après la transmission d'un <a href="Message" title="Message">message</a>. Cette correction est permise grâce à l'ajout d'informations redondantes. Le message est <a href="Plongement" title="Plongement">plongé</a> dans un ensemble plus grand, la différence de taille contient la redondance, l'image du message par le plongement est transmise. En cas d'altération du message, la redondance est conçue pour détecter ou corriger les erreurs. Un code de Hamming procède de cette logique, la redondance permet exactement la correction d'une altération sur une unique lettre du message.

Rappelons les éléments de base de la formalisation. Il existe un ensemble E constitué de <a href="Suite_(math%C3%A9matiques)" title="Suite (mathématiques)">suites</a> de longueur k à valeurs dans un alphabet de taille d, c’est-à-dire qu'à partir du rang k, toutes les valeurs de la suite sont nulles. Ces éléments sont l'espace des messages que l'on souhaite communiquer. Pour munir le message de la redondance souhaitée, il existe une <a href="Application_(math%C3%A9matiques)" title="Application (mathématiques)">application</a> φ <a href="Injection_(math%C3%A9matiques)" title="Injection (mathématiques)">injective</a> de E à valeurs dans F, l'espace des suites de longueur n et à valeurs dans un alphabet. La fonction φ est appelée encodage, φ(E) aussi noté C est appelé le code, un élément de φ(E) mot du code, k la longueur du code et n la dimension du code. Ces notations sont utilisées dans tout l'article.

<div class="mw-heading mw-heading3"><h3 id="Code_linéaire">Code linéaire</h3></div>

Un <a href="Code_lin%C3%A9aire" title="Code linéaire">code linéaire</a> dispose d'une <a href="Structure_(math%C3%A9matiques)" title="Structure (mathématiques)">structure</a> <a href="Structure_alg%C3%A9brique" title="Structure algébrique">algébrique</a> plus riche que celle du cadre général des codes correcteurs.

Les alphabets A et A' sont identifiés et munis d'une structure de <a href="Corps_fini" title="Corps fini">corps fini</a>. Le cas le plus fréquent consiste à choisir le corps F2 ou l'une de ses <a href="Extension_finie" title="Extension finie">extensions finies</a>, on parle alors d'alphabet <a href="Syst%C3%A8me_binaire" title="Système binaire">binaire</a>.

Les ensembles E et F sont naturellement munis d'une structure d'<a href="Espace_vectoriel" title="Espace vectoriel">espace vectoriel</a> de dimension respectives k et n. Si Fd désigne le <a href="Corps_fini" title="Corps fini">corps fini</a> de cardinal d où d est une puissance d'un <a href="Nombre_premier" title="Nombre premier">nombre premier</a> p, alors l'<a href="Espace_vectoriel_fini" title="Espace vectoriel fini">espace vectoriel fini</a> F est généralement identifié à Fdn.

F est muni d'une <a href="Distance_(math%C3%A9matiques)" title="Distance (mathématiques)">distance</a> qui dérive du <a href="Poids_de_Hamming" class="mw-redirect" title="Poids de Hamming">poids de Hamming</a>. La distance entre deux points de F correspond au nombre de coordonnées non nulles de la différence entre les deux points, dans la <a href="Base_canonique" title="Base canonique">base canonique</a>. Un code se décrit par trois paramètres, noté [n, k, δ], n est la longueur du code, k la dimension du code et δ la distance minimale entre deux mots du code. Enfin, l'application d'encodage φ est choisie <a href="Application_lin%C3%A9aire" title="Application linéaire">linéaire</a>, le code est donc un <a href="Sous-espace_vectoriel" title="Sous-espace vectoriel">sous-espace vectoriel</a>.

Un code de Hamming est un code linéaire, dont la distance minimale δ est égale à trois. Ces notations sont utilisées dans le reste de l'article.

<div class="mw-heading mw-heading3"><h3 id="Code_parfait">Code parfait</h3></div>

Usuellement, on considère que le mot de code émis est celui se trouvant le plus près du mot reçu, ce qui revient à supposer que le minimum de lettres a été modifié. Ce procédé conduit à une erreur de décodage chaque fois que l'erreur est supérieure à la capacité corrective du code. La question naturelle est celle de la valeur de t correspondant au nombre maximum d'erreurs corrigibles.

Une interprétation géométrique donne un élément de réponse. Les <a href="Boule_(math%C3%A9matiques)" class="mw-redirect" title="Boule (mathématiques)">boules</a> fermées de rayon t centrées sur les mots de code doivent être disjointes. La capacité de correction d'un code correspond au plus grand entier t vérifiant cette propriété, c'est aussi le plus grand entier strictement plus petit que δ/2, ce qui donne une valeur égale à un dans le cas d'un code de Hamming. Elle permet de définir une première majoration, appelée borne de Hamming :

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle 1+n.(d-1)\leq d^{n-k}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/353ca18e5d6894ce09ce1222b8ee96940eef1ef5.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:21.13ex; height:3.176ex;" alt="{\displaystyle 1+n.(d-1)\leq d^{n-k}}" loading="lazy"></center>

Il existe une configuration idéale, correspondant au cas où les boules fermées de rayon un et de centre les mots du code forment une <a href="Partition_(math%C3%A9matiques)" class="mw-redirect" title="Partition (mathématiques)">partition</a> de l'espace F. Si la transmission ne produit jamais plus d'une altération, alors l'erreur est corrigible. Il n'existe aucune redondance inutile, le code est le plus compact possible pour garantir la correction certaine d'une erreur. Pour de tels codes, la majoration de la borne de Hamming est une égalité. Ils sont dits parfaits. Ce qui donne lieu à la définition suivante :

<ul><li>Un code de Hamming est un code linéaire parfait de distance minimale égale à trois.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Paramètres_du_code">Paramètres du code</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Détermination">Détermination</h3></div>

Un code est parfait, si et seulement si la borne de Hamming est atteinte. Cette propriété permet la détermination des paramètres possibles pour un code de Hamming. Notons m la valeur de n - k. On dispose alors des égalités :

<msup>

</mrow>

</msup>

</mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle 1+n\cdot (d-1)=d^{m}\quad {\text{donc}}\quad n={\frac {d^{m}-1}{d-1}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/a98869290c22a967b132be5dcd04d9cf0a840e2d.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.171ex; width:41.747ex; height:5.676ex;" alt="{\displaystyle 1+n\cdot (d-1)=d^{m}\quad {\text{donc}}\quad n={\frac {d^{m}-1}{d-1}}}" loading="lazy"></center>

L'égalité k = n - m et le fait que la distance minimale d'un code de Hamming est égal à trois démontre la propriété suivante :

<ul><li>Pour tout code de Hamming sur un corps fini de cardinal d, il existe un entier m supérieur ou égal à deux, tel que les paramètres du code soient :</li></ul>

<mrow>

<mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \left[{\frac {d^{m}-1}{d-1}},{\frac {d^{m}-1}{d-1}}-m,3\right]}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4c95631d959e2cb7db65e3ad383e4383c44bcf15.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:26.03ex; height:6.176ex;" alt="{\displaystyle \left[{\frac {d^{m}-1}{d-1}},{\frac {d^{m}-1}{d-1}}-m,3\right]}" loading="lazy"></center>

La propriété correspond à une condition nécessaire. Cependant, pour toute valeur de d et de m, la suite de l'article démontre qu'il existe un unique code de Hamming, à une équivalence près. La condition est donc aussi suffisante.

<div class="mw-heading mw-heading3"><h3 id="Polynôme_énumérateur_des_poids">Polynôme énumérateur des poids</h3></div>

Le polynôme énumérateur des poids P[X] est le polynôme dont le coefficient pi du monôme Xi est égal au nombre de mots du code de poids de Hamming égal à i. L'identité de Mac Williams permet son calcul (cf article détaillé). Il est égal à :

<mfrac>

<msup>

</mrow>

</msup>

</mfrac>

</mrow>

</mrow>

</mrow>

<msup>

</mrow>

</mrow>

</msup>

<msup>

</mrow>

</msup>

</mrow>

<msup>

</mrow>

<msup>

</mrow>

</msup>

</mrow>

</msup>

<msup>

<msup>

</mrow>

</msup>

</mrow>

</msup>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle P[X]={\frac {1}{d^{m}}}{\Bigg (}{\Big (}1+(d-1)X{\Big )}^{n}+(d^{m}-1){\Big (}1+(d-1)X{\Big )}^{n-d^{m-1}}(1-X)^{d^{m-1}}{\Bigg )}\;}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/16f8b7b6016140bca33b9e9c200fd8e1b0d5f871.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -3.171ex; width:78.836ex; height:7.509ex;" alt="{\displaystyle P[X]={\frac {1}{d^{m}}}{\Bigg (}{\Big (}1+(d-1)X{\Big )}^{n}+(d^{m}-1){\Big (}1+(d-1)X{\Big )}^{n-d^{m-1}}(1-X)^{d^{m-1}}{\Bigg )}\;}" loading="lazy"></center>

<div class="mw-heading mw-heading3"><h3 id="Exemple_:_code_de_répétition">Exemple : code de répétition</h3></div>

Le cas le plus simple est sans conteste celui où d est égal à deux, c’est-à-dire celui où le code est binaire et m est aussi égal à deux. On obtient un code de paramètre [3,1,3].

Les messages sont constitués d'une lettre, par exemple 0, les codes d'une triple répétition de la lettre soit 000 dans l'exemple. Comme l'alphabet ne contient que deux lettres, deux au moins sur trois des lettres d'un élément de F sont semblables, en conclusion tout mot de F est à distance de un d'un mot du code. De plus, un mot de F n'est à une distance d'au plus un que d'un unique mot du code, ce qui démontre que ce code est parfait.

Cette propriété tombe si le code contient plus de deux lettres, en effet il existe des éléments de F constitués de trois lettres différentes et donc à distance de deux de trois mots différents du code et à distance de un d'aucun mot du code. On remarque aussi que la formule des paramètres, si d est différent de deux n'est plus vérifiée.

<div class="mw-heading mw-heading3"><h3 id="Exemple_:_le_cas_binaire_de_longueur_quatre">Exemple : le cas binaire de longueur quatre</h3></div>

Les codes correcteurs réellement utilisés dans l'industrie sont plus complexes que les précédents. Le plus simple est celui de paramètres [7,4,3].

C'est un code de dimension sept, c’est-à-dire que le récepteur reçoit sept <a href="Bit" title="Bit">bits</a>, de longueur quatre c’est-à-dire qu'une fois décodé, le message contient quatre lettres et la distance minimale entre chaque mot de code est trois.

La figure de droite est une représentation graphique de ce code. Le message est le mot d1d2d3d4. Le mot du code est constitué de trois <a href="Somme_de_contr%C3%B4le" title="Somme de contrôle">sommes de contrôles</a> p1p2p3, puis des quatre lettres du mot du message. La valeur de pi est égale à zéro si la somme des trois lettres du message incluses dans son cercle sur la figure est paire et un sinon.

On remarque que la somme des éléments de chaque cercle est paire si et seulement si l'élément est un mot du code. De plus, chaque élément de F est à une distance de un d'un mot du code. En conséquence, ce code est parfait et possède une capacité maximale de correction d'une erreur.

Cet exemple, le plus simple présentant une solution non évidente, présente une approche à même de démontrer l'existence et l'unicité d'une solution pour toutes les valeurs de m dans le cas d'un code binaire.

<div class="mw-heading mw-heading2"><h2 id="Approche_linéaire">Approche linéaire</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Matrice_de_parité">Matrice de parité</h3></div>

Il existe une application linéaire <a href="Surjection" title="Surjection">surjective</a> de F dans un espace de dimension n - k ayant pour noyau exactement le code :

<ul><li>Une matrice de contrôle d'un code φ(E) est une matrice H de dimension nx(n - k) tel que :</li></ul>

<msup>

</mrow>

</msup>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle x\in \varphi (E)\Leftrightarrow H.^{t}x=0}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/cda6fe6d8374352ba24df6e579bf13c3a2129db7.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:22.404ex; height:3.009ex;" alt="{\displaystyle x\in \varphi (E)\Leftrightarrow H.^{t}x=0}" loading="lazy"></center>

Cette application est essentielle à la fois sur le plan de l'implémentation, car elle permet une détection et une correction simple (cf <a href="D%C3%A9codage_par_syndrome" title="Décodage par syndrome">décodage par syndrome</a>) et sur celui de la construction d'un code.

Il existe une relation directe entre la matrice de contrôle et la distance minimale du code :

<ul><li>La distance minimale δ d'un code linéaire est égale à la dimension du plus petit sous-espace vectoriel S de F généré par des éléments de la base canonique et tel que la restriction de la matrice de contrôle à S soit non <a href="Injection_(math%C3%A9matiques)" title="Injection (mathématiques)">injective</a>.</li></ul>

La distance minimale est donc supérieure ou égale à trois si, et seulement si, deux <a href="Vecteur_colonne" title="Vecteur colonne">vecteurs colonnes</a> quelconques sont <a href="Famille_libre" class="mw-redirect" title="Famille libre">libres</a>. Cette propriété permet de résoudre le cas binaire pour toutes les valeurs de m.

Remarque : Pour le reste de l'article H désigne la matrice de parité.

<div class="mw-heading mw-heading3"><h3 id="Exemple_:_cas_binaire_de_paramètres_[15,11,4]">Exemple : cas binaire de paramètres [15,11,4]</h3></div>

<div class="mw-heading mw-heading4"><h4 id="Matrice_de_contrôle">Matrice de contrôle</h4></div>

Dans le cas binaire avec pour valeur de m quatre, la matrice de contrôle est de dimension 15x4, c’est-à-dire qu'elle contient quinze colonnes et quatre lignes. Pour obtenir une distance minimale au moins égale à trois, chaque colonne doit être différente. En effet, une colonne correspond au syndrome d'un vecteur de la <a href="Base_canonique" title="Base canonique">base canonique</a> de F, c’est-à-dire à un message de <a href="Distance_de_Hamming" title="Distance de Hamming">poids</a> un. Si deux colonnes sont semblables, alors le message m, de poids deux dont les coordonnées valent zéro partout sauf pour les deux colonnes égales où les coordonnées valent un, vérifie Htm = 0. En effet, dans un corps binaire 1 + 1 est égal à 0. Il existerait alors un mot du code de poids deux, en conséquence la distance minimale ne peut être égale à trois. De même, aucun vecteur colonne ne peut être nul, sinon, un vecteur de la base canonique de poids un serait élément du code.

Or, il n'existe que quinze vecteurs dans l'ensemble d'arrivée de la matrice de contrôle. À l'ordre près, il n'existe donc qu'une unique matrice de contrôle possible pour ce cas, correspondant à la suite des nombres de un à quinze en binaire. Si H est choisi de telle manière à représenter un code systématique alors on obtient :

<mrow>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

</mtable>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H={\begin{pmatrix}0\quad 0\quad 0\quad 0\quad 1\quad 1\quad 1\quad 1\quad 1\quad 1&1\quad 1\quad 0\quad 0\quad 0\\0\quad 1\quad 1\quad 1\quad 0\quad 0\quad 0\quad 1\quad 1\quad 1&1\quad 0\quad 1\quad 0\quad 0\\1\quad 0\quad 1\quad 1\quad 0\quad 1\quad 1\quad 0\quad 0\quad 1&1\quad 0\quad 0\quad 1\quad 0\\1\quad 1\quad 0\quad 1\quad 1\quad 0\quad 1\quad 0\quad 1\quad 0&1\quad 0\quad 0\quad 0\quad 1\end{pmatrix}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/6244298b1c436c310ad2112339099d2284b293ef.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -5.671ex; width:59.933ex; height:12.509ex;" alt="{\displaystyle H={\begin{pmatrix}0\quad 0\quad 0\quad 0\quad 1\quad 1\quad 1\quad 1\quad 1\quad 1&1\quad 1\quad 0\quad 0\quad 0\\0\quad 1\quad 1\quad 1\quad 0\quad 0\quad 0\quad 1\quad 1\quad 1&1\quad 0\quad 1\quad 0\quad 0\\1\quad 0\quad 1\quad 1\quad 0\quad 1\quad 1\quad 0\quad 0\quad 1&1\quad 0\quad 0\quad 1\quad 0\\1\quad 1\quad 0\quad 1\quad 1\quad 0\quad 1\quad 0\quad 1\quad 0&1\quad 0\quad 0\quad 0\quad 1\end{pmatrix}}}" loading="lazy"></center>

L'analyse précédente montre qu'il est nécessaire qu'une matrice de contrôle d'un code de distance minimale égale à trois ait cette forme. Réciproquement cette forme est suffisante pour garantir que la distance minimale soit effectivement égale à trois. En effet, aucun message de poids un n'est élément du code (un message de poids un est un élément de la base canonique) car leurs images par H est un vecteur non nul. Et aucun message de poids deux (un message de poids deux est la somme de deux éléments de la base canonique) n'est élément du code. En effet, ils auraient même image par H car deux vecteurs sont colinéaires si et seulement s'ils sont égaux dans le cas d'un corps binaire, or les vecteurs colonnes sont tous différents.

<div class="mw-heading mw-heading4"><h4 id="Matrice_génératrice">Matrice génératrice</h4></div>

La matrice de contrôle définit totalement la géométrie du code, il suffit donc, pour terminer l'implémentation de trouver une matrice génératrice G de E dans F. L'application linéaire associée doit vérifier deux conditions : elle est <a href="Injection_(math%C3%A9matiques)" title="Injection (mathématiques)">injective</a>, et son image est le <a href="Noyau_(alg%C3%A8bre)" title="Noyau (algèbre)">noyau</a> de H. Il suffit donc de trouver une matrice de rang 11 tel que H.G = 0 La construction de la matrice G est simplifiée dans le cas où H représente un code systématique, si Idq la <a href="Matrice_identit%C3%A9" title="Matrice identité">matrice identité</a> d'ordre q :

<mrow>

</mrow>

<mrow>

<msub>

</mrow>

</msub>

</mrow>

</mfrac>

</mrow>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<mrow>

</mrow>

<mrow>

<msub>

</mrow>

</msub>

</mrow>

</mfrac>

</mrow>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle G={Id_{k} \choose C}\quad \quad H=(-C\;Id_{n-k})\Rightarrow H.G=(-C\;Id_{n-k})\,{Id_{k} \choose C}=0_{n-kk}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/efe82be911453f83688f7911b92269fcaba47d73.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:72.534ex; height:6.176ex;" alt="{\displaystyle G={Id_{k} \choose C}\quad \quad H=(-C\;Id_{n-k})\Rightarrow H.G=(-C\;Id_{n-k})\,{Id_{k} \choose C}=0_{n-kk}}" loading="lazy"></center>

En remarquant que dans un corps binaire les opérations + et - sont les mêmes, on obtient :

<mrow>

</mrow>

<mrow>

<msub>

</mrow>

</msub>

</mrow>

</mfrac>

</mrow>

<mrow>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

</mtable>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle G={Id_{11} \choose C}\quad avec\quad C={\begin{pmatrix}0\quad 0\quad 0\quad 0\quad 1\quad 1\quad 1\quad 1\quad 1\quad 1&1\\0\quad 1\quad 1\quad 1\quad 0\quad 0\quad 0\quad 1\quad 1\quad 1&1\\1\quad 0\quad 1\quad 1\quad 0\quad 1\quad 1\quad 0\quad 0\quad 1&1\\1\quad 1\quad 0\quad 1\quad 1\quad 0\quad 1\quad 0\quad 1\quad 0&1\end{pmatrix}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/1017a507080e16fb91377af9ac4ae14a2a0eae02.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -5.671ex; width:67.392ex; height:12.509ex;" alt="{\displaystyle G={Id_{11} \choose C}\quad avec\quad C={\begin{pmatrix}0\quad 0\quad 0\quad 0\quad 1\quad 1\quad 1\quad 1\quad 1\quad 1&1\\0\quad 1\quad 1\quad 1\quad 0\quad 0\quad 0\quad 1\quad 1\quad 1&1\\1\quad 0\quad 1\quad 1\quad 0\quad 1\quad 1\quad 0\quad 0\quad 1&1\\1\quad 1\quad 0\quad 1\quad 1\quad 0\quad 1\quad 0\quad 1\quad 0&1\end{pmatrix}}}" loading="lazy"></center>

Le code est donc composé du message et de quatre <a href="Somme_de_contr%C3%B4le" title="Somme de contrôle">sommes de contrôle</a> permettant de corriger exactement une erreur.

<div class="mw-heading mw-heading3"><h3 id="Cas_binaire">Cas binaire</h3></div>

<div class="mw-heading mw-heading4"><h4 id="Théorème_d'existence">Théorème d'existence</h4></div>

La méthode précédente se généralise pour tous les codes de Hamming binaires. Les paramètres du code recherchés sont maintenant [2m - 1, 2m - m - 1, 3]. On peut citer comme exemple d'utilisation de code de cette nature, celui du <a href="Minitel" title="Minitel">minitel</a><a href="#cite_note-6">[6]</a> qui a choisi la valeur sept pour m. Ainsi, pour un message de longueur cent vingt, sept sommes de contrôle permettent de corriger toute erreur sur un unique bit.

La matrice de contrôle est de dimension mx2m - 1. Une <a href="%C3%89quivalence_logique" title="Équivalence logique">condition nécessaire et suffisante</a> pour que la distance minimale associée soit égale à trois est que tous les vecteurs soit libres deux à deux. C'est le cas s'ils sont non nuls et tous différents. Un espace vectoriel binaire de dimension m contient exactement 2m - 1 vecteurs non nuls différents. À l'ordre près, il n'existe donc qu'une unique matrice de contrôle associée à une distance minimale égale à trois.

Il est toujours possible de réordonner la matrice de contrôle pour lui donner la forme d'un code systématique. Cette forme permet simplement de calculer la matrice génératrice systématique associée.

<ul><li>Si m est un entier supérieur ou égal à deux, il existe un seul code binaire, de paramètres [2m - 1, 2m - m - 1, 3], à une équivalence près. Ces codes forment l'ensemble des codes binaires de Hamming, ils sont parfaits.</li></ul>

<div class="mw-heading mw-heading4"><h4 id="Code_de_Hamming_généralisé_(dit_également_'étendu')">Code de Hamming généralisé (dit également 'étendu')</h4></div>

Deux raisons poussent à généraliser le code. Une dimension égale à 2m - 1 n'est pas idéale, en terme industriel. Il est en effet plus commode d'utiliser une dimension de la forme 2m. De plus un tel code corrige une erreur, mais si deux erreurs se produisent, non seulement le code ne le détecte pas, mais en plus il en ajoute une troisième.

Ces deux raisons amènent en général à ajouter une dernière somme de contrôle validant la parité des 2m - 1 premières lettres du code. Une deuxième erreur est alors détectée, même si elle ne peut être corrigée sans nouvelle transmission.

<ul><li>Le code de Hamming généralisé (dit également 'étendu'), de paramètre [2m, 2m - m - 1, 4] correspond à un code de Hamming classique [2m - 1, 2m - m - 1, 3] auquel a été ajouté un bit de parité portant sur les 2m -1 lettres du mot du code.</li></ul>

<div class="mw-heading mw-heading3"><h3 id="Corps_fini_quelconque">Corps fini quelconque</h3></div>

<div class="mw-heading mw-heading4"><h4 id="Corps_fini">Corps fini</h4></div>

L'utilisation d'autres corps que binaires n'est pas une préoccupation uniquement théorique. Ils sont utilisés pour corriger des effacements qui peuvent être importants. Ils sont utilisés par exemple pour la lecture des <a href="Disque_compact" title="Disque compact">disques compacts</a> pouvant corriger jusqu'à 4096 effacements consécutifs<a href="#cite_note-7">[7]</a>.

Tous les corps finis possèdent un cardinal de la forme pq où p est un nombre premier. L'industrie utilise souvent la valeur p égale à deux. Le code est encore transmis sous forme de bits, la table d'addition reste inchangée, en revanche la multiplication n'est plus la même. On obtient, par exemple pour le corps F8 à huit éléments la table suivante :

<td>

<td>111

</td></tr>

<tr>

<td>111

</td></tr>

<tr>

<td>110

</td></tr>

<tr>

<td>101

</td></tr>

<tr>

<td>100

</td></tr>

<tr>

<td>011

</td></tr>

<tr>

<td>010

</td></tr>

<tr>

<td>001

</td></tr>

<tr>

<td>000

</td></tr></tbody></table>

</td>

<td>

<td>111

</td></tr>

<tr>

<td>000

</td></tr>

<tr>

<td>111

</td></tr>

<tr>

<td>101

</td></tr>

<tr>

<td>010

</td></tr>

<tr>

<td>001

</td></tr>

<tr>

<td>110

</td></tr>

<tr>

<td>100

</td></tr>

<tr>

<td>011

</td></tr></tbody></table>

</center>

Si la logique linéaire reste la même, en revanche, la modification de la table de multiplication engendre une complexité supplémentaire à l'encodage et au décodage. Le terme précis n'est plus somme de contrôle mais de <a href="Contr%C3%B4le_de_redondance_cyclique" title="Contrôle de redondance cyclique">contrôle de redondance cyclique</a> ou encore CRC.

<div class="mw-heading mw-heading4"><h4 id="Exemple:_le_cas_de_paramètres_[9,_7,_3]">Exemple: le cas de paramètres [9, 7, 3]</h4></div>

Étudions sur F8 le cas où m est égal à deux. Il correspond aux paramètres [9, 7, 3]. La matrice de contrôle est de dimension 2x9. Le théorème sur la relation entre la distance minimale et la matrice de contrôle montre que pour bâtir ce code, il suffit de trouver neuf vecteurs dans un espace de dimension deux, libres deux à deux. La logique précédente ne s'applique plus, deux vecteurs distincts peuvent être colinéaires, par exemple:

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle (001,011)=011.(010,001)\;}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/7e593484a9cd466a467a5f50d77a576a4521e067.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:27.514ex; height:2.843ex;" alt="{\displaystyle (001,011)=011.(010,001)\;}" loading="lazy"></center>

Une matrice de dimension 2x9 est associée à une distance minimale égale à trois si et seulement si chaque vecteur colonne est choisi dans une <a href="Relation_d'%C3%A9quivalence" title="Relation d'équivalence">classe</a> de l'<a href="Espace_projectif" title="Espace projectif">espace projectif</a> de F82 différente. Chaque classe d'équivalence de l'espace projectif contient sept éléments (le cardinal du corps moins un), et l'espace projectif est une partition de l'espace des syndromes sans le vecteur nul, c’est-à-dire un ensemble de cardinal soixante trois. Il existe exactement neuf éléments dans l'espace projectif, exactement le nombre de colonnes dans la matrice de contrôle. La matrice de contrôle est donc encore unique, à l'ordre près et à une <a href="Homoth%C3%A9tie" title="Homothétie">homothétie</a> près pour chaque vecteur colonne. On peut choisir par exemple :

<mrow>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

</mtable>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle H={\begin{pmatrix}001&010&100&011&110&101&111&001&000\\001&001&001&001&001&001&001&000&001\end{pmatrix}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/e05aac26404d6c3483a5e6e019f401552acdf5c4.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:59.302ex; height:6.176ex;" alt="{\displaystyle H={\begin{pmatrix}001&010&100&011&110&101&111&001&000\\001&001&001&001&001&001&001&000&001\end{pmatrix}}}" loading="lazy"></center>

La même logique que précédemment permet de déterminer la matrice génératrice :

<mrow>

<mtr>

<mtd>

<msub>

</mrow>

</msub>

</mtd>

<mtd>

</mtd>

</mtr>

</mtable>

</mrow>

<mrow>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

<mtr>

<mtd>

</mtd>

<mtd>

</mtd>

</mtr>

</mtable>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle G={\begin{pmatrix}Id_{7}&C\end{pmatrix}}\quad avec\quad C={\begin{pmatrix}001&001\\010&001\\100&001\\011&001\\110&001\\101&001\\111&001\end{pmatrix}}}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/0848523ed94accbea94cac53dfa67a66a3dd9cda.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -10.671ex; width:43.083ex; height:22.343ex;" alt="{\displaystyle G={\begin{pmatrix}Id_{7}&C\end{pmatrix}}\quad avec\quad C={\begin{pmatrix}001&001\\010&001\\100&001\\011&001\\110&001\\101&001\\111&001\end{pmatrix}}}" loading="lazy"></center>

Le code est donc composé du message et deux contrôles de redondance cyclique permettant de corriger exactement une erreur.

Si l'on compte en termes de bit, trois bits sont nécessaires pour coder une lettre. Le code est donc dune longueur 27 bits avec 6 bits de CRC. Si on le compare au code de Hamming binaire de longueur 26 avec 5 bits de parité, le gain n'est pas clair. En pratique, l'utilisation de corps plus vastes est surtout l'objet de codes offrant des redondances beaucoup plus importantes comme ceux de <a href="Code_de_Reed-Solomon" title="Code de Reed-Solomon">Reed-Solomon</a>.

<div class="mw-heading mw-heading4"><h4 id="Existence_et_unicité_dans_le_cas_général">Existence et unicité dans le cas général</h4></div>

Le cas général est proche de l'exemple précédent. L'existence et l'unicité d'un code de Hamming sur un corps de cardinal d et pour la valeur m dépend du cardinal de l'espace projectif d'un espace vectoriel sur le corps Fd. L'espace vectoriel S des syndromes est de dimension m. Il contient dm - 1 vecteurs non nuls, le corps contient d - 1 éléments non nuls, l'espace projectif de S est donc de cardinal dm - 1/d - 1. C'est exactement la dimension de F, l'espace des codes. À un ordre près et à une homothétie près sur chaque vecteur de la base canonique de F, il n'existe donc qu'une unique matrice de contrôle. En conclusion :

<ul><li>Si d est une puissance d'un nombre premier et m un entier supérieur à deux, à une équivalence près, il existe un et un seul code de Hamming de paramètres :</li></ul>

<mrow>

<mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

<mfrac>

<mrow>

<msup>

</mrow>

</msup>

</mrow>

<mrow>

</mrow>

</mfrac>

</mrow>

</mrow>

</mrow>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \left[{\frac {d^{m}-1}{d-1}},{\frac {d^{m}-1}{d-1}}-m,3\right]}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/4c95631d959e2cb7db65e3ad383e4383c44bcf15.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -2.505ex; width:26.03ex; height:6.176ex;" alt="{\displaystyle \left[{\frac {d^{m}-1}{d-1}},{\frac {d^{m}-1}{d-1}}-m,3\right]}" loading="lazy"></center>

Sa construction est analogue à celle utilisée pour l'exemple précédent.

<div class="mw-heading mw-heading2"><h2 id="Code_cyclique">Code cyclique</h2></div>

Il est possible d'enrichir la <a href="Alg%C3%A8bre" title="Algèbre">structure algébrique</a> de F d'une structure d'<a href="Anneau_unitaire" title="Anneau unitaire">anneau</a>. Cet enrichissement a pour objectif de construire des codes ayant de bonnes propriétés d'optimalité. Les codes <a href="Code_BCH" title="Code BCH">BCH</a> ainsi que ceux de Reed-Solomon sont les exemples principaux. Dans le cas binaire, un code de Hamming apparait comme un code cyclique de type BCH.

Pour comprendre cette structure d'anneau, une première remarque est nécessaire. L'<a href="Extension_finie" title="Extension finie">extension</a> de F2 de cardinal 2m possède comme groupe multiplicatif un <a href="Groupe_cyclique" title="Groupe cyclique">groupe cyclique</a> d'ordre 2m - 1, on retrouve ici la dimension n d'un code binaire de Hamming. Tout élément de l'extension est donc racine du <a href="Polyn%C3%B4me" title="Polynôme">polynôme</a> P[X] = Xn - 1. Un polynôme à coefficients dans F2, K[X] définit une fonction sur l'extension de cardinal 2m. Il existe un et un seul polynôme R[X] de degré strictement inférieur à n et ayant les mêmes valeurs sur cette extension que K[X]. En effet, la division euclidienne donne l'égalité suivante si d R[X] désigne le degré du polynôme R[X] :

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle K[X]=Q[X].P[X]+R[X]\quad avec\quad d\,R[X]<n\;}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/73a49e620d30b4a68a48510263a8ec5dca9fa85b.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:48.353ex; height:2.843ex;" alt="{\displaystyle K[X]=Q[X].P[X]+R[X]\quad avec\quad d\,R[X]<n\;}" loading="lazy"></center>

La structure d'anneau choisie est alors celle du quotient Fd/P[X]. Les codes associés sont les <a href="Id%C3%A9al" title="Idéal">idéaux</a> de cet anneau.

<ul><li>Soit m un entier strictement positif et n un entier défini par n = 2m - 1. Un code linéaire sur Fd est dit cyclique si l'espace vectoriel est muni de la structure d'anneau Fd/P[X], avec P[X] = Xn - 1 et que le code est un idéal de F.</li></ul>

Dire que le code est un idéal revient à dire qu'il est cyclique, c’est-à-dire qu'il vérifie la propriété suivante :

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

<msub>

</mrow>

</msub>

</mstyle>

</mrow>

<annotation encoding="application/x-tex">{\displaystyle \forall (x_{n-1},x_{n-2},\cdots ,x_{1},x_{0})\in C\quad (x_{n-2},x_{n-3},\cdots ,x_{0},x_{n-1})\in C}</annotation>

</semantics>

</math><img src="./_assets_/eb734a37dd21ce173a46342d1cc64c92/b199af235a7268629ae585ce04dbc725cba10d53.svg" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:61.335ex; height:2.843ex;" alt="{\displaystyle \forall (x_{n-1},x_{n-2},\cdots ,x_{1},x_{0})\in C\quad (x_{n-2},x_{n-3},\cdots ,x_{0},x_{n-1})\in C}" loading="lazy"></center>

Soit Φn[X] un polynôme cyclotomique d'ordre n la dimension du code, et à coefficient dans F2. C'est un polynôme de degré m (cf l'article <a href="Polyn%C3%B4me_cyclotomique" title="Polynôme cyclotomique">Polynôme cyclotomique</a>), de plus :

<ul><li>L'idéal C engendré par Φn[X] est un code cyclique de longueur k = n - m.</li></ul>

Il possède la bonne distance minimale :

<ul><li>L'idéal C engendré par Φn[X] possède une distance minimale égale à trois.</li></ul>

Ce code cyclique est donc un code binaire de Hamming et tout code binaire de Hamming admet une représentation cyclique.

Les démonstrations se trouvent dans l'article associé.

<div class="mw-heading mw-heading2"><h2 id="Notes_et_références">Notes et références</h2></div>

<li id="cite_note-1"><a href="#cite_ref-1">↑</a> <a rel="nofollow" class="external text" href="http://itswww.epfl.ch/~courssisy/slides2004/040525%20-%20codes%20lineaires.pdf">Présentation du code de Hamming par l'Ecole Polytechnique fédérale de Lausanne</a>

</li>

<li id="cite_note-2"><a href="#cite_ref-2">↑</a> <a href="Claude_Shannon" title="Claude Shannon">Claude Shannon</a> A mathematical theory of communication <a href="Bell_System_Technical_Journal" title="Bell System Technical Journal">Bell System Technical Journal</a>, vol. 27, pp. 379-423 et 623-656, Juil et Oct 1948

</li>

<li id="cite_note-3"><a href="#cite_ref-3">↑</a> <a href="Richard_Hamming" title="Richard Hamming">Richard Hamming</a> Error-detecting and error-correcting codes Bell Syst. Tech. J. 29 pp 147 à 160 1950

</li>

<li id="cite_note-4"><a href="#cite_ref-4">↑</a> R. C. Bose and D. K. Ray-Chaudhuri On a class of error-. correcting. binary group codes Inform. Control, vol. 3, pp. 68-79, Mars 1960

</li>

<li id="cite_note-5"><a href="#cite_ref-5">↑</a> A. Hocquenghem Codes correcteurs d'erreurs Chiffre 1959

</li>

<li id="cite_note-6"><a href="#cite_ref-6">↑</a> P. Arnoult Minitel, codage de l'information et corps finis Pour la science N°125 Mars 1988

</li>

<li id="cite_note-7"><a href="#cite_ref-7">↑</a> J.P. Zanotti Codage d'un signal audionumérique sur un support à lecture optique, erreurs au décodage et codes M.S.D Mémoire de D.E.A. Université d'Aix Marseille, 1992

</li>

</ol></div>

<div class="mw-heading mw-heading2"><h2 id="Voir_aussi">Voir aussi</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Bibliographie">Bibliographie</h3></div>

<ul><li><abbr class="abbr indicateur-langue" title="Langue : anglais">(en)</abbr> <a href="Jessie_MacWilliams" title="Jessie MacWilliams">Jessie MacWilliams</a> et <a href="Neil_Sloane" title="Neil Sloane">Neil Sloane</a>, The Theory of Error-Correcting Codes, <a href="Elsevier_(%C3%A9diteur)" class="mw-redirect" title="Elsevier (éditeur)">North-Holland</a>, 1977, (<a href="International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> 9780444850096)</li>

<li>A. Spătaru, Fondements de la théorie de la transmission de l'information, - (éd. <a href="PPUR" class="mw-redirect" title="PPUR">PPUR</a>, 1987) - (<a href="International_Standard_Book_Number" title="International Standard Book Number">ISBN</a> 9782880741334)</li>

<li><a href="Michel_Demazure" title="Michel Demazure">Michel Demazure</a>, <cite class="italique">Cours d'algèbre : primalité, divisibilité, codes</cite> [détail des éditions]<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Cours+d%27alg%C3%A8bre&rft.stitle=primalit%C3%A9%2C+divisibilit%C3%A9%2C+codes&rft.aulast=Demazure&rft.aufirst=Michel&rfr_id=info%3Asid%2Ffr.wikipedia.org%3ACode+de+Hamming"></li></ul>

<div class="mw-heading mw-heading3"><h3 id="Liens_externes">Liens externes</h3></div>

<ul><li><a rel="nofollow" class="external text" href="http://www.math.u-bordeaux.fr/~zemor/codes06.pdf">Code Linéaire</a> par G. Zemor, <a href="Universit%C3%A9_Bordeaux_I" class="mw-redirect" title="Université Bordeaux I">université Bordeaux I</a></li></ul>

</div>

<ul id="bandeau-portail" class="bandeau-portail"><li> Portail des télécommunications </li> <li> Portail de l'informatique théorique </li> </ul></div><div><div class="zim-footer">

Cet article est issu de <a class="external text" title="Dernière modification le 2024-11-18" href="https://fr.wikipedia.org/wiki/?title=Code_de_Hamming&oldid=220396107">Wikipédia</a>. Sauf mention contraire, le texte est disponible sous <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">Creative Commons Attribution-Share Alike 4.0</a>. Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.

</div>

</div></div>

</div>

</main>

</div>

</body></html>